Search results for " works"
showing 10 items of 236 documents
Variable time amplitude amplification and quantum algorithms for linear algebra problems
2012
Quantum amplitude amplification is a method of increasing a success probability of an algorithm from a small epsilon>0 to Theta(1) with less repetitions than classically. In this paper, we generalize quantum amplitude amplification to the case when parts of the algorithm that is being amplified stop at different times. We then apply the new variable time amplitude amplification to give two new quantum algorithms for linear algebra problems. Our first algorithm is an improvement of Harrow et al. algorithm for solving systems of linear equations. We improve the running time of the algorithm from O(k^2 log N) to O(k log^3 k log N) where k is the condition number of the system of equations. …
Computer Science Meets Ecology (Dagstuhl Seminar 17091)
2017
This report summarizes the program and main outcomes of the Dagstuhl Seminar 17091 entitled ``Computer Science Meets Ecolog''. Ecology is a discipline that poses many challenging problems involving big data collection, provenance and integration, as well as difficulties in data analysis, prediction and understanding. All these issues are precisely the arena where computer science is concerned. The seminar motivation was rooted in the belief that ecology could largely benefit from modern computer science. The seminar attracted scientists from both fields who discussed important topics in ecology (e.g. botany, animal science, biogeochemistry) and how to approach them with machine learning, co…
FO^2 with one transitive relation is decidable
2013
We show that the satisfiability problem for the two-variable first-order logic, FO^2, over transitive structures when only one relation is required to be transitive, is decidable. The result is optimal, as FO^2 over structures with two transitive relations, or with one transitive and one equivalence relation, are known to be undecidable, so in fact, our result completes the classification of FO^2-logics over transitive structures with respect to decidability. We show that the satisfiability problem is in 2-NExpTime. Decidability of the finite satisfiability problem remains open.
A roadmap for amphibious drilling at the Campi Flegrei caldera: insights from a MagellanPlus workshop
2019
Large calderas are among the Earth's major volcanic features. They are associated with large magma reservoirs and elevated geothermal gradients. Caldera-forming eruptions result from the withdrawal and collapse of the magma chambers and produce large-volume pyroclastic deposits and later-stage deformation related to post-caldera resurgence and volcanism. Unrest episodes are not always followed by an eruption; however, every eruption is preceded by unrest. The Campi Flegrei caldera (CFc), located along the eastern Tyrrhenian coastline in southern Italy, is close to the densely populated area of Naples. It is one of the most dangerous volcanoes on Earth and represents a key example of an acti…
¿Qué formación didáctica recibe el futuro profesorado de clarinete en el grado superior? Reflexiones y propuesta curricular
2017
Successive education reforms of advanced-level music teaching have greatly increased the workload of future professionals. However, these reforms have not brought about curricular changes in the work situation, clearly related to teaching at different levels. This article offers a comparative analysis of the curricula of the different autonomous communities, and concludes with a number of suggestions on how to improve educational training for clarinet graduates.
The cost of open access publication of papers by spanish authors in five areas of the social sciences
2021
[ES] La publicación en abierto de los artículos conlleva unos gastos conocidos como cargos por procesamiento de artículos (APC, en sus siglas en inglés). El objetivo de este trabajo es determinar el coste de los artículos publicados en abierto mediante APC de autoría española en cinco categorías temáticas de las ciencias sociales: Humanities (Multidisciplinary), Sociology, Information Science & Library Science, Education & Educational Research y Communication de la Colección Principal de la Web of Science (WoS) durante el periodo 2012-2019. Se han identificado las revistas, las instituciones financiadoras y los modelos de publicación más frecuentes. El estudio indica que de las 223 revistas…
Bioethics and neuroethics
2019
Neuroethics officially appeared at the start of the 21st century due to the progress made by the neurosciences, as an applied ethics related to bioethics, but also as an independent discipline in its own right. As an applied ethics, it tackles issues bordering on bioethics. As independent neuroethics, it deals with established philosophical problems from a neuroscientific standpoint in the broader sense. It involves two central questions: the design of a framework in which to select, interpret and integrate data from neuroscience on morality and outlining the appropriate method or methods for this new branch of knowledge. In both cases, most neuroethicists curiously claim to take a naturali…
Differences in the growth cycle ofRuppia cirrhosa(Petagna) Grande in a Mediterranean shallow system
2014
Ruppia cirrhosa growth cycle was analysed in a southern Mediterranean shallow system throughout 1 year. We examined the temporal variation in R. cirrhosa cover percentage, shoot density, biomass, leaf length, no. flowers m-2 and no. fruits m-2 in two groups of pond characterized by differences in some environmental parameters. Ponds were comparable for salinity and temperature but they differed for other environmental parameters such as water depth, level of suspended organic matter and chlorophyll a (CHL a). Biological parameter values were higher in B ponds, characterized by lower values of water depth, suspended organic matter and CHL a. A seasonal trend for all considered biological par…
In Situ Representations and Access Consciousness in Neural Blackboard or Workspace Architectures
2018
Phenomenal theories of consciousness assert that consciousness is based on specific neural correlates in the brain, which can be separated from all cognitive functions we can perform. If so, the search for robot consciousness seems to be doomed. By contrast, theories of functional or access consciousness assert that consciousness can be studied only with forms of cognitive access, given by cognitive processes. Consequently, consciousness and cognitive access cannot be fully dissociated. Here, the global features of cognitive access of consciousness are discussed based on neural blackboard or (global) workspace architectures, combined with content addressable or "in situ" representations as …
Detecting mutations by eBWT
2018
In this paper we develop a theory describing how the extended Burrows-Wheeler Transform (eBWT) of a collection of DNA fragments tends to cluster together the copies of nucleotides sequenced from a genome G. Our theory accurately predicts how many copies of any nucleotide are expected inside each such cluster, and how an elegant and precise LCP array based procedure can locate these clusters in the eBWT. Our findings are very general and can be applied to a wide range of different problems. In this paper, we consider the case of alignment-free and reference-free SNPs discovery in multiple collections of reads. We note that, in accordance with our theoretical results, SNPs are clustered in th…